$\forall$$a$:$\mathbb{Q}$. ($a$ $\ast$ 1) = $a$ \& (1 $\ast$ $a$) = $a$